3

Centaur: the system

Year:
1989
Language:
english
File:
PDF, 1.16 MB
english, 1989
4

Imagerie des traumatismes de l’épaule

Year:
2007
Language:
french
File:
PDF, 1.21 MB
french, 2007
7

Ricostruzione vascolare e trapianto di fegato

Year:
2017
Language:
italian
File:
PDF, 2.52 MB
italian, 2017
13

Selective hydroesterification of alkynes to mono- or diesters

Year:
1983
Language:
english
File:
PDF, 211 KB
english, 1983
15

Theo: An interactive proof development system

Year:
1992
Language:
english
File:
PDF, 1.04 MB
english, 1992
20

Hybrid and Subexponential Linear Logics

Year:
2017
Language:
english
File:
PDF, 297 KB
english, 2017
27

Hybrid linear logic, revisited

Year:
2019
Language:
english
File:
PDF, 1.37 MB
english, 2019
35

An algebraic specification of a Pascal compiler

Year:
1983
Language:
english
File:
PDF, 738 KB
english, 1983
42

Recursion over objects of functional type

Year:
2001
Language:
english
File:
PDF, 403 KB
english, 2001
44

Centaur: the system

Year:
1988
Language:
english
File:
PDF, 1.16 MB
english, 1988